perm filename AMTI8.360[GF,SYS] blob sn#799949 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  FcAX
D`%h↓↔5Xα⊗`UPβ⊗ uH↓ E@↓@ E@↓@E8↓@@E0↓@`E0↓↓U(↓A E(↓↓@E ↓A@E_↓A`E_π∀Auλ↓B Eλ↓α@E↓B@U↓βDx↓CDp↓C Dhαβ DP∧B↓$P∧B↓$("⊂C1h
F`a⊂(∧j0 ∧A
0 ¬↓
0 ¬↓
 (¬↓
  ¬A
  ¬A
  ¬↓*⊂(¬↓
⊂ ¬↓
⊂ ∧↓*⊃(∧* ¬↓
 ¬↓* ¬A	p(¬A	p ε↓	p ε↓	p ε↓	`(¬A)` ε↓	` ¬A	` ¬↓)P(∧↓)! %∧HT !Fd↓X
C p(↓∃↓0_↓T`P(↓@ 5λαBeαB@TxαβTpαβ@4hαC@4hαβ`4`α∧4XαD$Xα∧ $Xα∩@TPα∩@DPα∩@A↓∩@A↓∩@@x↓R@@x↓R`0p↓R`@`↓S0Xα∪@Hα∪ P(αSa5λβQ(D ∞Gc1Xβ∧*↓_)A↓()A↓  )A↓0 )↓!0 )↓↓P )↓↓P )↓↓P (A!P (A↓` (A↓` (A↓` (↓!P((↓↓` (↓↓` (↓↓P('A!P 'A↓P('A↓P 'A↓@('↓!@ '↓↓@ '↓↓0 '↓↓⊂(&A p0%∧i!λ"QλQh∂Fc00Tαu_αβ %_αβ %_αβ %⊂αC5⊂αβ %⊂α↓@ (↓∀@@0↓↓ %λαA 5λα↓@%λα↓ 5λε∀↓Uα↓ 5α↓@%α↓@$xαA 4xα↓@ 0↓∪`@p↓∪`@p↓∪@Ph↓S@@p↓∪@@p↓∪@@p↓∪ Ph↓RBtPQ(D0∞πC1Xβ¬J↓0)A↓@⊂)A↓@⊂)A↓@⊂)↓!0_)↓↓@⊂)↓↓@⊂)↓P⊂α@J⊂(αj⊂ α@J⊂ αj⊂ αj`(αj αj αip(αip α@Ip α@Ip '↓)` '↓	` &A) X%αhT #Fd↓X
C p(↓∃↓0_↓T`P(↓@ 5λαBeαB@Txαβ Dpαβ@4hαC@4hαβ`4`α∧4XαD$Xα∩`DPαR@DPα∩@@P¬R@@P¬R@@pα∩@@pα∩@@pα∩`0hαR`@`α∪0`α∪@Hβ∪ P(∧∪a0⊂↓∀ p ↓⊃(D@⊂λC1Xβα`@X(α`@X)A! ()A↓0 )A↓0 )↓! ()↓↓0 )↓↓0 )↓↓0 (A! ((A↓0 (A↓0 (Dj↓ (↓↓0 (↓↓0 (↓↓0 'A! ('A↓0 'A↓0 'A↓0 '↓! ('↓↓0 '↓↓0 '↓↓0 &A! (%α`@X%α`@X"Q	⊃λ	Fc00¬T↓5_αT`E_α∀@U⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪@Tpα∪@Dpα∪ TP¬∩A$("∩BQ@
Fa X*αk ,↓ +A*p +A
p +↓*` +↓
` *A*P *A
P *↓*@ *↓
@ %@@`(%↓P %↓P %`P %`@ %B)@0"Q	2λ⊃Fc00¬AA%¬AA%_αB`U_αα`E_αα@5⊂αBE⊂ααE⊂α↓`5⊂α↓@5λαA 5λα↓Eλα`Uλα@eα@!¬∧@Eβ@`EαA TxαA`DxααDxααTxαα DpαB Dpαα@Tpαα`Dpαα`DhαB`TP¬A!$P¬A!$("∪αqH
F```(β
0()A
0 )↓*  )↓
  (A*⊂ (A
⊂ (↓* (↓
 'A)p εIp εIp εI`(¬@i` εI` εI` εIP(¬@i!(%¬(T &Ie⊃X
AA↓⊂βT↓↓λ∧∀`Qβ∀`QαT`Pxβ∀@`pβT@phβ∀@ λαβu⊂↓ @X↓@ Eλ↓@ @X↓ Uλ↓@@P↓@ Eλ↓@P@↓@@Eλ↓`@@↓`E↓@`@8↓@@U↓↓@0↓@`E↓↓@0↓↓E↓↓@(↓ADx↓AP_↓ATx↓↓@@_↓↓ Dx↓↓@@⊂↓A Dx↓↓@@λ↓A@Dp↓A@p0αS@ 8β↓`Dp↓↓``8α∪ 0@ααD`αα0@αRA⊂(↓A!4P∧A  0¬Q(Dp⊂λC1Xβα↓⊂H(α↓⊂H)A!@_)AA0⊂)AA0⊂)α↓⊂_)@  ∧@J ⊂↓↓↓⊂⊂)@ (∧J⊂_↓Ap_(@@@(βJ⊂⊂αA`⊂(@@P βJ_αA @_(@p αJ⊂βA 0⊂(A ↓@Ip_∧↓ _'@A⊂(@Ip⊂¬↓⊂⊂'@A 8'a00'A@('AP &@aP &↓↓P %α!0⊂%α!0⊂"Q	qP∂Fc0`∧∃↓E⊂β↓UλαBEαα`4xαβDpαβ DhαC@Dhαβ`D`α∧DXαDDXα∧ DXα∧ DPαDTPα∧ DPα∧ DPα∧TPα∧DPαβ`TPαβ`DPαβ@TPαβ@DXαβDXαα@T`ααThαAdpε∀t("∀β1h
F`aλ(∧j0 ∧A
0 ¬↓
0 ¬↓
 (¬↓
  ¬A
  ¬A
  ¬↓*⊂(¬↓
⊂ ¬↓*⊂ ∧A*⊂ ∧↓*↓λ(βJ (↓	p('A	p 'A	`('↓	` '↓	P(%αi X"Q
⊃P∂Hc0`∧∃↓E⊂β↓UλαBEαα`4xαβDpαβ DhαC@Dhαβ`D`α∧DXαDDXα∧ DXα∧ DPαDTPα∧ DPα∧ DPα∧TPα∧DPαβ`TPαβ`DPαβ@TPα↓ @(α∩`@_β`DXα@0⊂∧∪@λ↓`thβ`dpε↓%∧A %0↓A50↓A50↓@`50↓@@E0∧∃@u0β∃`D("∀C1h
F`a(∧J0 βA*0 ∧A
0 ¬↓
 (¬↓
  ¬A
  ¬A
  ¬↓*⊂(¬↓
⊂ ¬↓*⊂ ∧A*⊂ β↓J↓(β* β↓
 βA	p(∧ip ∧@ip ∧A	p ∧A	`(∧↓	` ∧A	` ∧A@⊂'↓↓⊂ ↓@iP(∧A _%α`p@%αa("Q
18Fc0Xβ↓%_¬ 5⊂α↓eλ↓BE↓B@5↓B@4x↓B`$x↓B`$x↓B`$xα∪`Tx∧∀↓%λ¬∀A%(∧⊗UHα∪ `↓S `↓S `↓R`0Xα∩`0X↓R`@H↓R`P8α∩@0λ↓ATP↓@A$P↓↓t("∃β"λ
F`!@%F)0⊂∧↓↓⊂%@A ∧I0⊂∧↓↓⊂%`p(β@i ⊂∧↓↓⊂%A ∧I ⊂∧↓↓⊂)A*0 )A
0 )↓*  )↓
  (A*⊂ (A
⊂ (↓* (↓
 'A) p%βHT *Fd!X
@!00∧Ra00∧S@P`↓S@@h↓∪@@h↓∪ P`↓S @h↓∪ @h↓∪ @h↓∪P`↓S@h↓∪@h↓∪@h↓∩`P`↓R`@h↓∩`@h↓∩`@h↓∩@P`↓R@@h↓∩@@h↓∩@@`↓R@@`↓∩@@X↓R@@P↓R`@@↓S@ αS!4xβ⊃(E0
λC1XαA@%αA@&A↓P &A↓P_&A↓@_&A↓@⊂&A↓0_&A↓ _&A!⊂⊂'↓↓_'↓p_'↓p⊂'↓`_'↓`⊂'↓P_'↓@_'↓@⊂'↓  _'A ⊂'A⊂_'Aip0'AIp('A	p (J⊂"Q
r_⊗εc0∧@a0(βRA⊂_¬A tXαB@@Pα∪@Pαα@4`αα PH↓S@HαB $`αα`@↓S@@βα$`α↓`p8↓S@8↓ @8↓∪@0↓@ @0↓S@(↓@@@(↓S@(↓`@(↓∪@ ↓@`@ ↓S@ ↓↓@ ↓∪@_↓A@_↓SP⊂↓↓ P⊂↓∪ @λ↓A@@λ↓S @λ↓↓`@λ↓∪ p8βS `@β∪ PHαS PHαS @Pα∪ @Pα∪ 0X↓S 0X↓S  `↓⊃(E@⊂λ#1XβB@`H(B@`H*↓!⊂(*↓!⊂_*A↓_*A `_+↓P_+↓@_+↓  _+A⊂_+Ak0,↓+(,↓*p8+`⊂ *@`  *`0()@`P )@@`()`p (@a((a  '@a0 &A↓@(%α!P%α!P"Q⊃P⊃εc0¬α↓∧P¬α↓∧hαβ DhαB`4pαα`$pαα@4pαB4xα↓`4xα↓`$xαA 5α↓5α`5α@@%λα 5λβT eλαT Uλα∀ Eλα∀Uα∀Eα∪`T`¬S↓4("⊗C!`
Fa↓⊂(Dj⊂⊂¬A*⊂⊂¬↓*⊂⊂∧A*_∧↓*⊂∧A
⊂∧↓*⊂βA+(+A*p +↓*P(*↓*0()↓*  β@J⊂(β@J(∧Ip(∧@I`(∧@iP(¬IP ¬@I@(¬@I0(¬@i!_%∧hT 0DBQλλA`P⊂↓∪aDpα`dhα↓ T`α↓@DXαA@DXα↓`DPαA@TPα↓`DPα↓`DPα↓`DPα↓@Pλ↓∩@@0α@$Pα↓@@⊂↓∩@@(α@ 4Xα@pλ↓∪↓λβ∪ P α⊃(F⊂π∧#1X↓↓i@8'↓	` '↓	P(&A	P &A	@(&↓⊂(&αi@0↓↓	0(α@i0 βi0 βi0 βi (αA	  β↓	  β↓	  β↓	  αA	  αA	  α↓	  α↓	0_↓↓)0@&A(T 1C"↓λλA`Tx∧∪@Pλ↓S @⊂α∪@_α∩`P ↓∩`DPαR@DPα∩@DPα∩@@8↓∩@@8↓∩@@(α∩`@_α∪↓∧hβ⊃(F 
¬c1XεAjp8,A⊂ ,A(,↓ ,↓
p((A ⊂ 'C	` ↓AIP αA)@ β↓	0(β↓	0 βA	 (β↓)  βA	  βA	  βA	  β↓ ⊂⊂%↓` ↓I  β↓ ⊂%↓P(@i0 ↓↓`⊂⊂&α⊂0&A @ "QPhλ∧"⊂8αSa∧pα@4hα`4`α↓4Xα↓DXα@TP¬RA∀Pα∩@DPα∩@DPα↓@4X↓A DXα@T`∧S d("→B!⊃FaP *AjP8*α
@ @J0 )A
0 )A
 ('BIpP)↓
  (A*⊂ (A
⊂ (A
((↓
 (↓
 (↓	p 'A	p '@ip_'↓	0⊂@i 8%↓I 0%AλT 3Dα1HλA@P⊂↓∪a4pα@dhα↓T`α↓ DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ TPα↓ DPα↓ DPα↓TX↓@@tX¬S @λα∀@EλαT DX↓↓DPα@DPα DP∧∩`T("~αA(
F`@8'↓j (↓
 'A)p 'A	p '↓)` ↓↓I` B	`8↓A	P8α↓	P0αA	P(β↓	P(β↓	@(β↓)@ βA	@ βA	@ β↓)0(β↓ ⊂%Ap ↓I0 β↓  ⊂%A` ↓i (β@`⊂_%↓↓0%@A  "Q
⊂XεFc0@↓∀ Eλα∀@$8αS D`β∩`0λ↓R` λα∩@0λα∩@ ⊂α∩@ λαS Dhα∪T`α∪@λ↓∩`Pλ↓∩`@⊂↓∩`@λ↓R`t`αS 4("~B⊂x⊃Fa`⊂+A
p ,Hp()↓
⊂0(` _'@`  '`0 '@@ '@@ )A*0 )A
0 )↓*  )↓
  (A*⊂ (A
⊂ (↓* %@@0 %↓⊂ %α	 8%A(T 5DB1X
AtpβTEα∀DxαS`Dxα∪`DpαS@@(α∪@@ β∪@@_βS P⊂↓@ Dhα@0_↓∪!∧hβSd`∧∪@λα∪@⊂α∩`P⊂α`$Xα`@_↓∩`@_α`$Xα`@⊂↓R@P_α 4Pα↓ dX↓↓`D("≠↓ `
F`08&Aip 'A	p '↓)` '↓	` &A)P &A	P &↓)@ &↓	@ %A)0 %A	0 %↓i  @I  @I 8%↓I0(&hT 6Gd!λλ@`0(αA T`α@`p_βR`pλ↓@@@λ↓@@DX↓ p_β@`DP↓@ ` β↓DP↓@P(αA DP↓@@0α↓@DhαA P(αS @0α↓@Dhα↓@@0α∪ @0α↓ T`αA P(α`$`α↓@@0α`$`α↓@@(α@`$`α↓@@(α`4XαA P0↓@@4Xα↓@@8βS @↓α T("≠BA8λD  _αAI0(↓B	00@`0 %α@@ %@⊂0αA	 ⊂A ` %@⊂(β↓	@(β↓)@ βA	@ βA	@ β↓)0(β↓ ⊂%Ap ↓I0 β↓  ⊂%A` ↓i (β@`⊂_%↓↓0%@A  "Q
qλ
∧"⊂8βSa$pα@`Dhα↓@D`α↓`DXαB4Xαα 4PαBDPαα DPαα DPαα DPααDPααDPα↓`DX↓A@DXα`T`¬∪@d("≤αA D P_α↓)`(↓α	`H↓@iPHα↓	P⊂A `_&@@⊂ β@iP⊂Ap_'A ` 'Ap 'Ap 'Ap '↓ ` '↓p '↓` '↓P &A@0 &C	P A)P &↓)@ &↓	@ %A) @%αλT 8Dα1HλA@P_↓∪a4pα@dhα↓T`α↓ DXαA DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ TPα↓ DPα↓ DPα↓TX↓@`d`¬∪!∃⊂α∀ Uλα∀ Eλα∀Tp∧SA∀("≤AaλλD  _α↓	0(↓↓I0⊂BI HA	 ⊂A 0⊂%@⊂(%@⊂ &↓)@ &↓	@ %A)0 %A	0 %↓)  %@HT 9C!qλλA@Tx∧∪@0_↓S @⊂α∪ 0_α∪ 0 ↓∪ Th∧∪!∀p∧∀dX↓↓@4Pα↓ 4Pα↓ 4P↓A DX↓@`DX∧S d("≥↓@pF p⊂(↓
 'A)p 'A	p '↓) `%β	` &A)P &A	P &↓)@ &↓	@ %A 0⊂%A@⊂%A0_%A0⊂%A⊂ &↓iP "Q∞Q_∧"⊂_↓B $`αA`DXβA@DX↓ @(αR@0λα↓ DP↓ P(α∩@ λα↓@Dhα↓ T`αA D`α↓@D`α↓@DXαA Pλ↓∩`@0α@$Xα↓@@⊂↓∪@ α@ 4`α@pλ↓∪!λβ∪@P α⊃(G0πDB⊃λ↓@``⊂&↓ @ %A`0 %@@⊂ αi _A@_%@⊂(αi ⊂A`⊂&AP_&↓ P⊂&↓`⊂&↓P_%A P⊂%AP_%AP⊂&`@_&↓ _&Ai`("Q∞q@
D"⊂_↓B (↓∪P0α`DXβA @_α∩` λα↓P ↓R@0λα↓@(↓R@ λαA@(↓R@ λα↓ @0↓∪ @ αA 4`αA@0↓∪@(α↓@$`α↓ @(↓R`P αA $Xα↓ @(↓R`@(α↓ $`α``_↓S@⊂β@@4hβ@@txα↓T("≡α⊃_λD @(↓A	P8AI@_↓αI@⊂↓A ⊂ %@`0 ↓@I0⊂α↓	0⊂α↓
((↓
 (↓	p(αIp α@I0⊂↓↓P⊂%α @_%α   %↓ ⊂@%@`@ "Q∂⊃λ
ε"⊂_↓B$`αA@DXβA DX↓ @ αR@0λα↓DP↓ P α∩@ λα↓ Dhα↓T`αAD`α↓ D`α↓ DXαATXα↓ DXα↓ D`↓AT`α@dh¬∪A∃_α∀@DX↓↓ DPα`DPα@TP↓@@TP∧∩`d("≡B⊃⊂λD ` α@Ip0↓@i``&C)P_βiP⊂βj@_)@j _(↓	p '``⊂&@`p⊂&`` &β	0h%`08%@P "Q↓X∞Fc00
TαU_αα`%_αα`%_αα`%⊂αB@5⊂αα`%⊂αα`%⊂αα`%λαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA4P¬Q(@λ∞πC1X
KP_.↓0(-AK 8,@`⊂ ,`  ,@0(+@`@ +`P *@`` *@@p(*a )@a⊂ )a  )A0((@a@ (aP '@a` '@Ap('b &@b⊂ &b  &εI1X%π	!`"Q!P∂Fc0`∧∃↓E⊂β↓UλαBEαα`4xαβDpαβ DhαC@Dhαβ`D`α∧DXα@  H↓@DXα@ H↓@DXαAP⊂α∩@Pλπ TPαAP⊂α∩@@⊂ε@@DPα@ H↓ TPα∧DPαβ`TPαβ`DPαβ@TPαβ@DXαβDXαα@T`ααThαAdpε∀t("bq@
Fb⊂⊂-@K _-k⊂ ,↓+(+AJp0+↓j`⊂A*P_↓↓
P⊂↓A
@_↓A
@⊂α↓
0_α↓
0⊂αA
 _αA
⊂_β↓
⊂⊂βA
_βA
⊂∧↓	p_∧↓	p⊂∧A	`_∧A	P ∧A	 HααI HααHT αεCAX
Ab5
∀α5	T x↓∪`0p↓S` x↓⊃`%↓α`%↓α`%πSb∧xπSatx↓α`$x↓α`$8↓∩` x↓∩` x↓∩` x↓∩b4P
∩B4P	Q(@(⊂λC1XβεJ↓P)A↓0()A↓0 )A↓0 )↓! ()↓↓0 )↓↓0 )↓↓0 (A! ((A↓0 (A↓0 (A↓0 (↓! ((↓↓0 (↓↓0 (↓↓0 'A! ('A↓0 'A↓0 'A↓0 '↓! ('↓↓0 '↓↓0 '↓↓0 &A! (%α@PX%α@PX"Qap⊂εc08T"uλα∧%λαC`%⊂αβ`%⊂αβ@5⊂αC %_αβ %_αC% α∃E αU E(α∃ E(↓U5_↓T@0`↓∀ 0h↓∀0p↓∪`0p↓S@0x↓∪ 1↓∪1λ↓∩btPRBt("↓cαλ
F`0(∧A	@8βα	0Hαα)  ↓A (↓↓	 _α↓⊂ α@i ⊂β`⊂_βi ⊂β↓``⊂)↓J 0)↓* ()↓
  (A*⊂ (A
⊂ (↓* (↓
 'A)p 'A	p '↓) `%βλT ∧ε#aX
B!U_εU`U8α∃`E ∧T!dx¬@ Tpα@`@_α∪ P_αAD`αA@(α∩`P(α↓@DXα↓@@0α∩@P(αA TPα↓@@0α∩@@0α↓@DPα↓@@(αR@P αATXα↓@ αS@_α`Thα@!$pπ∀↓∃⊂α∀@EλαS!Dhε⊃(@H
λ#1X∧β* h+↓*` +↓	 (β↓ ` %↓ ` β↓)0 β↓P(%A` αA	0 αA @(%AP αA	0 αAP %AP αA	0 α↓ @(%A@ αA	0 α↓@(%A@ ↓A)0 ↓A  (%A   ↓↓)@(A⊂(&CI``'B*⊂ (A
(&β	@`"Q↓!`∂εc0p∧∃!e_β↓@U⊂αB UλαB`EαC DxαC@Dxαβ`Dxαβ`Dxαβ@Tx↓C`Dx↓C`Dx↓C@Dx↓C@Dx↓C Dx↓C 4x↓CDx↓C4x↓B`Dx↓B`5↓α@5↓α 4X↓`0@↓@@$X↓`08↓@`$X↓`00↓A$P↓A 0↓@`4P∧A!∀P∧A!∀("λ! p
F``_'A)p('A)p('A)`('↓)`('↓)` &A)P(&A)P &A	P &↓)@ &↓λp⊂%@i (%↓) (%@hT ⊃GD∩_
D` 0↓↔00↓↔ 0↓V`00↓⊗` 0↓V@00↓⊗@ 0↓V 00↓⊗  0↓V00↓⊗ 0↓U`00↓∃@00↓SβD`∞∃  8↓∃00↓U 8↓∀`00↓T` 8↓∀@00↓RCDP∞∀  8↓∀00↓T 8↓∪`00↓S` 8↓∪@00↓S@ 8↓∪ 00↓S  8↓∪00↓S 8↓∩`00↓R` 8↓⊃(B(
λ#qhβ↓↓`⊂'↓a@_&A ⊂¬@i@ ↓@a ⊂&↓@⊂∧@i0 α@A_%AP⊂β@i (α``_%↓P⊂β@I  α@@`_%↓@_α@i  α@P_%↓0_αi  ↓@@P⊂%↓⊂ αi08α`@ &↓P_α↓J@_↓A ⊂_)@`@ ↓@J0⊂α↓@⊂)`0(αJ⊂_α↓P⊂(`P α@Ip_αA @_'@@` α@I`_β↓P⊂&@`p αi@_∧↓@⊂%@a⊂ ↓@i _¬@` _%A@8%AP("Q∧p@πCβ0_α∪d`β∪dhαS`4x↓∪@4p↓∪ 4Xα∩@DP↓⊃(B@πDdqhε@JP *↓
0 )↓
 _(A
 (↓	p 'A	` '↓	P &A	P &↓	@ &↓	0(%A	0 %A	0 %↓	  %↓	  %↓	  %↓	  %↓	  %@i0_%@i@_&↓	P_"Q¬⊂xπIcPH↓∀`5 ↓U 5(↓U 5(↓U E(α∃ E(α∃ E(α∃ E α∃E α∃E α∀`U_α∀`E_α∀@U⊂α∀@Eλα∀ Eλα∀Eα∪`Dxα∪@Dhα∪ 4`α∩`DP↓R@$("
Aq0λπ!_)j _)I@_↓@@ _&`0λ↓@i@ @@⊂('α
 'A)P_A	 (@@⊂ %↓ ⊂↓i _↓` _'↓	`_'hT ∃F#QHβ`%H↓⊗5@↓⊗%@↓∃`58↓∃`%8↓∃@50↓∩C∀PU 5(↓∃ %(↓∃5 ↓∃% ↓∀`5_↓∀`%_↓⊃(B`∧α!@ αiP(&A)P('ip⊂'i`⊂&@i@_%@i  %HT ↔↓!⊂ α 4PαR@TPαR`4("c↓@∪G"`⊂0Kp_/k`⊂.@kP⊂.k0_-@K _-K⊂_,k⊂+@jp⊂+jP_*@J@_*J0_)@J _(@j⊂⊂(j⊂'@i`_'IP_&@I@_%@i0⊂%i ⊂%HT ≥α↓AλλA4hαS ThαS@48βR`4PαR@TPαR`4("∞a0`D p_(↓*((↓*⊂_#Ai`_&A)P(&A)`_'@I`_'IP_&i0_%↓	 ⊂"Qπ@Pεεb00↓S`TxαS`U↓Q`$xα∪@Tpα∪@DhαS Thα∪T`αST`α∩`TXαR`TPαR@TPαR@TPαR`4("∂#!p¬C`!@&ελp8%ε	!@"Qλ↓8∞εc0`βU↓5⊂αA Eλαα %↓B`4x↓A `⊂↓∪@0 ∧@ $h↓AP_αS   α↓@D`↓@`P0α∩`0 αα$X↓↓@H↓∩`  αα $P↓@`P@↓R@  αα $P↓↓@H↓∩@  αα4P↓↓@@↓∩@  α↓`4P↓↓ 00↓R@ (α`DP↓A!∀X↓↓`TX↓S0X↓S @0β∪AU∧⊃(EXπ∧∧qh∧A*0()@J _)J ⊂)J⊂_(@J⊂⊂(@J_(J⊂(Ip_'@Ip⊂'@I`_'I`⊂'IP_&@IP⊂&@I@_&I@⊂&I0_%@I0⊂%@I _%I ⊂%↓) ("QPxεIcPPαUU8↓∃@50↓∃@%0↓∃ 5(↓∃ %(↓∃5 ↓∃% ↓∀`5_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀ 5λ↓∀ %λ↓∀5↓∀%↓∪`4x↓∪`$x↓∪@4p↓∪@$Pβ∩@d("_↓xεε`P_'↓	P_&i0_%@I _%I  %↓) (%↓)0_"Qε↓_ε#⊂HβT!%α@`Dxα↓@Dpα↓`Dpα↓`DhααDhααD`αBD`αα D`αα DXαBTXαα DXαα DXαα DXααTPαα DPαα DPααDPααDPα↓`DPα↓`DX↓A@DXα`T`¬∪@d(""↓⊂F!`⊂+@j` *A*00'BIp(A
@(*↓
@ *↓
0()A
0 )A
 ()↓
  )↓
⊂((A
⊂ (A
(%∧	!"Qε! ε#⊂PβTA%λα↓E↓A`Dx↓@  (α∪@0⊂↓↓ Dp↓` 0↓S 0⊂↓A Dh↓` 0α∪  ⊂↓A@Dh↓@ 0α∪ `(αS@@(αU U αT eαS`4p↓S 0P↓∪0X↓∩a(α∩b∧P↓@a4P↓↓A∧P↓↓`T("bA0F! 0)αJ⊂ α↓
_β@ip_@@P '@@ ⊂αA	p⊂↓@P '@@⊂_α↓)p⊂@@P 'A @((`@()α
 8*↓*` +@jp &A⊂ %A↓ %↓ p(%↓↓ %a(%@@p(%A@(&αI`0"QεA_	H#⊂x↓⊗E@α∃`U8α∃`E0αU@E0α∃ E(α∃E α∀`E_α∀@E⊂↓@@%λ↓@@Eα@Dxα`Dx↓ADp↓ATh↓A DXπ∩B4P↓α↓∃ α∃E α∀`U_α∀`E_α∃$("
"A8F `_∧jp(β)p`'BIp⊂'@I`_'I`⊂'α)PX&A@ &@@p +↓
` +↓
` +↓	0⊂∧↓)  βA	  β↓	 _β↓) _α↓)0P&↓hT ≠∧baHB@u⊂¬∀ P ↓T@0↓S`@0α∪@@8α∪@@@↓∪ Dhα∪@⊂β∪↓TX∧`DXβ↓@DXαA`DXαA`DXααDPαα DPαα DPαα DPααDX↓BDX↓A`DXα↓ D`α`D`¬∪@d("
bA@F @⊂↓↓`⊂&B@@_&B` _&∧)@0↓Ai0 ¬I0_¬i _¬i _∧A
`_*A
P_*↓
0()A
 ()↓*⊂((A*⊂((↓*((↓*((↓*⊂_"Qπ↓ ε#⊂PβTA5λα↓Uα↓`4xαα4x↓B 4x↓BDxα↓`4xαATxβ@U¬∀!¬λ∧∪a4pα@@dhα↓ T`α↓`TXαα DX↓B@DPαα@DP↓B`4Pαα DX↓BDXαAT`¬S@t("∞"!0F!0(αIp ↓A)` αA	P βA	@(βA	@ ∧↓	0(∧↓	0 ∧A	0 ∧A	0 ∧↓)0 ∧↓)0 βA)0 β↓I0 αAi@ ↓α)P@A	`(↓↓*P *A	0⊂βA	  αA)  α↓) _α↓)0H&↓HT 	↓b⊂8
@ $PαR@TXα∪Dh↓S@4x↓⊃(A_∧¬ qXα@I` &A)@0%A) (%i ⊂"Qα@X
AC⊂↓↓`$P↓A 4X↓@@DX∧∪dhα∪ $("¬!Q8∧ε`⊂∧@I ⊂∧i ⊂∧I ⊂β@i ⊂βi _↓A	 H%Ai@("Qα`x"`πRAt("¬a1`∧ε`00&α	0_αi _βI ⊂β@I ⊂βi _↓A	 H&↓(T αb0@A DpαS@Tpβ∀UαS@dP∧R@t("λ↓⊂Xαβ`P &AI0(%↓	 ⊂"Q`X
↓C00↓∪`DpαS tXα`4Pα↓ $P↓A@$("↔`Ppαε`⊂_%↓) (%↓)0_"Q∂Ph↓c0 ↓↓$hα@Dhα@D`α@ TXα@ TX↓@`4P↓@`4P↓↓$("∨Aa8αε`@_αi@0↓↓	0`%` 0%@@ "Q∂ph↓β0λ↓A 4Pα@`TPα@`TPα@`TX↓A 4("	β↓X
Fb0,α*p(↓@j` βJP β@JP βj@ β↓
@ β↓
@ β@J0()A
0 )A
X(αj  )↓
⊂((A
⊂ (A
(∧I0H∧@I Xβ@i `αA	 ⊂↓∧	 8↓αI0 αAhT ∪ε#QX
B `8↓∀!⊂(α∀P_↓↓ Dxα↓ 0(↓S@@(α↓Dpα↓ @ ↓S P0↓↓DhαβDhαα`Dh∧A Dh¬@dhβ@ λ∧∪ @ ↓ 0_↓∪P_β@`$`¬ 0 ↓R`@λα@@@ ↓∩`@@α@`$PαBP⊂↓R@@P↓@`$Pα∧$Pαβ`4Pαβ`$Pαβ@4Xαβ4`αα DhαA Tpε∀↓∧("∂Aqλ
Da0⊂*↓
@ *@Hpλ)↓
⊂0(` ⊂(@0⊂*j0 )↓*⊂((↓)`0&AI@(α@I0(αA	0 β↓	0_∧i _∧@I _∧i _β@i0⊂βi0_αi@@&AHT ∨CBQX
A@dp∧S @ ↓S08↓∩`0@↓∩` H↓∩@0H↓∩@0@↓R@@0α∩@@(α∩`  β∀dxαS@ThαST`α∩`4X↓@`$X↓@@4`β∪T8S$Xα∩`D`↓⊃(A∧Bb⊃λ↓A	@0%@`⊂_%@@⊂ %`⊂ %@  %@⊂(&A	P &↓)@ &↓⊂⊂%A ⊂⊂%A ⊂%A⊂_%Ai@(&@hT λCAAHλBEλβ∀0⊂↓S`0⊂α∪@0_α∪@  α∪@  α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∩` _α∩@@λα∩A∧PβR`T("ε#⊃8⊃Fap0+BJ` α↓
P βjP β↓
@ β↓*@ β↓
@ β↓
@ βj0(βj⊂0βj⊂0α@j0 α@j0 αj (αj  α@j  α@j  αA
  αA
⊂(β↓
⊂ βA
⊂ βA
⊂ βA
⊂ @@@ (B ((↓⊂ A* B* ↓↓J_(ip %@@ _%↓⊂_%↓i 0%AλT 
ε#1λλC@0⊂αUAU ¬@5⊂¬@`5α@@P ↓S`P_α↓Dpα↓ @⊂αS @(¬S@0∧R`P0α∩`@8α∩@P0αR@@8αR@@0β↓@4Pα↓@`(α∩`@_∧@@T`
S `⊂↓@d("εc↓XλD p(β↓)pH↓α	` ↓@`⊂ ↓iP α↓`0_&↓`(αi0(β↓@ %Ap ↓↓) (βαi  βB)  βA	  βA	  β↓)  β↓)  αA@`_%↓@8αA	0 ↓↓⊂ ↓↓)@@↓B)P(β↓HT ∞¬"aP
D`%`↓V`5X↓∀a%λ¬TP_α∪`@ β∪@@(β∪ P ↓@ 4hα↓0λα∪P_↓@@D`α↓ _α∪@_↓@`D`α@0 α∪@λ↓AD`α  (α∪p α∪` α∪ @_αS!4h↓ d`↓R`4P↓R@$P↓⊃(Ah∪
β1XπEk⊃8-Aa0⊂-@@⊂ ¬@K _A↓0⊂-@⊂(¬k⊂_A↓0⊂,`  α@P⊂,@0 α@P⊂+@` (↓@jp⊂↓A@⊂+`0 ↓@jP_ααJP⊂ααj@_α↓0_*@P αJ0_αA@⊂)β 0_)β@⊂βJ⊂_β↓↓@⊂(@@p εJ_β↓!0_'@`p εIp⊂∧↓↓@⊂'a εIP βA!0_%α !(%α !("Qβb0∃Fc0hUβE⊂β↓ @`↓∀ P8αβ%αα @`↓∪`@HαB`4pαα@@`↓∪ PPα↓  (↓∪ @Xα↓  (↓∪@XαA4XαB`@(↓∩`@`α↓4Xαβ↓4PαBaDPαβ@ ↓R@@`α↓ $Pαβ@(↓∩@@XαA4Pαα`@(↓↓@$Pαα`@h↓∩@@Xαβ $Pαα@P`↓R`@Hαβ $Xαα @h↓∪@8αC $hαA``↓SCE
⊃(Ax∞λβqh
L0_+B0_*Cj00α↓J (∧↓
⊂ ¬↓
 ¬↓Ip ¬↓i`(∧@`  '↓↓⊂_↓A	P ∧@`@ &↓!⊂⊂αA	@ ∧@`P &↓↓_β↓	0(β@``(%Ap_βA	0 βa %AP_∧↓)0 αa⊂ %A0_∧A)0 ↓@A  %A _∧A)0 @a  &↓A  &↓!⊂(&A↓(&↓`@0%@`⊂`%@@@8%i ⊂"Q↓1`
Hc0hβ↓E0∧ u(α @λβU@⊂ε∃@_↓ @λ↓∀`@0α∀`@0α∀`@0α∀`@0α∀@P(αSbTx
T@@0α∀@@0α∀ P(αT @0α∀ @0α∀ @0α∀ @0α∀P(αT@0α∀@0α∀@0α∀@0α∀@0α∪`@0α∪`@0α∪`@0α∪`08↓S`00α∪@@0α∩` λ↓@   ↓RA0⊂α∩@`λα DPα@A∧X↓AT("ββ↓8⊃Fa`@+β
P αA
@ β↓
@ β@J0 )A
0 )A
 ('D)qλ)↓` )↓P((A P (A` (A` (AP((AP (↓ P (↓` (↓P(↓J αA0⊂(↓P ↓@J αA _'A` @ip βAIp ∧↓	p_'@i` %@@⊂_%↓i 0%↓)0_"Q↓QHλc0hβ@ E0εU @_β∃@ β∃@(αT`@0αT`@0α∀`@0α∀`@0α∀@P(αSb∀xλT@@0α∀@@(αT P(α∀ @0α∀ @0α∀ @(αT @(α∀P(α∀@0α∀@(α@@%α↓ @_↓∀@(α`%α↓ @⊂↓S`@0α 4xα↓`dxααDx↓S`4pα∩` λ↓R@tPβ∩@TX↓Q(@p∩λD1XπA`0H+EJ` α↓`P *AP0β↓
P β↓↓⊂*↓ ` *↓`(*↓` *↓` *↓` (π
↓`)A`(β↓
0 β↓`()A` β↓
 (β↓` )↓p β↓
  β↓ P()↓` β↓
  β↓` (A ` β↓
⊂ βAP(↓J⊂ β↓ P ↓@J⊂ β↓` ↓@J⊂ β↓` ↓j⊂_βA` @j β@a0(↓` ∧A
 β↓
_β@ip β↓	0⊂↓↓ P %↓⊂0↓A	 X↓↓	 0B)0 ↓AHT πI$2_
C`` β@ E8∃@@_∧`e(α↓p β∃ @(αA@U αA@@0αU@0αA@E α↓@@8α∃@0α↓`E α↓@@0αTβE∞∀`@0αA@E_α↓@@0αT`@0α↓@E⊂αA@@0α∀@@8α↓@E⊂α↓@P(αT@@0α↓@E⊂α↓@@0α∀ P0α↓@Eλα↓`@(α@@%λα↓@P(α`%λα↓@@0α`%λα↓@@0α@5λ↓A`@0α 5α↓`0@β∀@0αα Eα↓@E↓A`4xα↓@DX↓@P(α∩@@λβ`DP¬@@DPβ!∀Xα`d("↔↓qHεε`P_αi` ↓A	P_αi@_αi0_αi0⊂α@I _αi ⊂α@I  ↓A	 (↓↓) (↓↓) (↓↓)0_αhT ⊃βb@`
@`@_α∪`λβ∪`λβ∪`λβ∪ P⊂αS`0 ↓S` (↓∪@0 ↓S@ (↓∪ 0 ↓R`@_α∩@@_α∩@ (↓⊃(Bh¬β⊂HαI P"Q∂1_!0	RB4("∨∧bHB`α0%	H←@¬E_ π6>∃⊂↓∨3@↓∨3@␈␈␈␈pα`␈␈␈␈0↓h{⊂#P¬qL`∧?0!πX∂;`&≡d_∞↓50`@λ↓⎇HApα␈cH⊗p{⊃#0¬+i ;←0#ε@P∨i ↓∪↑d8∂@↓Eλz@⊂W⎇I↓hαxf01p{∩!`αjl⊂r∨0%¬@λ[↓t≡dX∂↓C0¬@ ⎇IA@α:I{∪$@π→λ@↓≠␈0'π Xc→@αf↑dx∂↓C0¬@0⊗⎇J↓XαUtPi`{∀#`ε
A0↓↑∨0)π XG%βa≡e_↓@r8|⎇JA`αjlλ↓ε{∃#P¬qL`α↔?0+π Xc→@∧K↑e8∀αα⊂lHJ⎇K↓hαxf0↓$0{⊗#P¬qL`αV∨0-εHL@¬C≡fλ
⎇HMX5⎇L!λ↓←%↓<⊂{_b⊂β>Jββ␈02¬8lf@ε⊗↑f(λ@oP(`b⎇L`X↓G⊂↓P{→b⊂β>Jβ*?04¬8lf@εm≡fH¬@E`9p⊂⎇M `↓→A8↓f@{~b⊂β>JβW?06α _>JπI≡fh⊂@↓Q(*@x3⎇Ma0α↔∞ ↓␈{≠b@βv3 ∧
∨08¬8lf@λ&≡gλλ@oP(↓⎇⎇N x↓C00α∃ {≤apβε``∧1␈0:β f¬`λs≡g(
@↓∧H∨@↓⊂λ⎇Naλ↓←%α'⊂{≥c ¬≥np∧X←0<∧ 0⎇∀	O≡gH	vHz@↓_D⎇O x↓C00α? {β∧t¬ε∨0H h
U 
∨↑`⊂∂↓C0¬@↓ p⎇@1Hα@⎇⊂αV {↓β∧f¬`¬8␈0αG Xc→@∧↑`0∞↓50`@↓0B⎇@qpβε`Xαn{αβ@¬UX⊂¬g?0∧G@`≠α`k↑`P∞↓50`@↓@∀⎇D⊂X↓G⊂β
`{λd⊂εE*Pε≤␈0∩H h
U ]↑b8¬@E`9↓P~⎇Ex↓C00β%0{
!pβε``εU←0∃¬8lf@
A≡bX∂↓C0¬@↓X#⎇E@X↓G⊂β8⊂{A0α↔∞ εt?0↔E8lf@
m≡cP¬@E`9↓`¬⎇G0X↓G⊂βB@{∂↓0α↔∞ π
←0≡G@`≠α`∞$≡d
↓'8;@↓`P⎇K0X↓G⊂βRp{↔!0α↔∞ π0←00α` .≤@∞w≡c
⎇HM↓h}⎇F⊃ ↓{→Pβf {B@βv3 πT∨0→E8lf@∂C≡c 
⎇HM↓x8⎇FQ ↓{→Pβ|`{
B@βv3 λα␈0≠E8lf@⊂≡≡c@
⎇HMαb⎇G⊃ ↓{→P∧∩ {∧B@βv3 λ0␈0	E8lf@⊂g↑a 
⎇HMαλZ⎇BQ ↓{→P∧≥{¬B@βv3 λ>←0H h↔,@⊃≡a@∞↓50`@α⊂⊃⎇DHoR@∧#`{↔B@βv3 λI←0/B` .≤@⊃~≡gh
⎇HMα⊂<⎇Oa ↓{→P∧*{∨b@βv3 λW∨0∩π@`∞J⊃5≡b0∞↓50`@α_↔⎇Ga ↓{→P∧<{∂b@βv3 	α?0λα` .≤@∩→↑aλε@SX↑α Q⎇C⊃0α↔∞ ∧N`{εC@¬UX⊂	.␈0
GX+0 ∩t≡a`
⎇HMα0→⎇CR_βEG⊂∧ip{πDpπlf0	g←0∂G@`≠α`∪w↑`X↓@rα@<⎇AA0α↔∞ ¬⊃@{β"`∧.≤@
3∨0πλ h
U ∃	↑`x⊂@↓Q(*@αPu⎇KA ↓{→P¬;`{λB@βv3 
}␈0⊗C (≥o⊗↑gX
⎇HMα`≡⎇OB8βv3_¬D@|@α`)`{⎇xow{⎇x